Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
91	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-19 06:05:38 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
92	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
93	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering
94	Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-10 11:35:35 Type theory Functional programming Logic in computer science Dependently typed programming Data types International Conference on Functional Programming Dependent type ICFP Programming Contest POPLmark challenge Software engineering Computing Programming language theory
95	Combining Proofs and Programs Stephanie Weirich University of Pennsylvania June 1, 2011 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Computing Dependent type Agda Ωmega Haskell Coq Epigram Type theory Functional programming Functional languages Software engineering Programming language theory
96	Dependent Types for Low-Level Programming Jeremy Condit1 , Matthew Harren1 , Zachary Anderson1 , David Gay2 , and George C. Necula1 1 University of California, Berkeley Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-02-02 07:49:52 Data types Type theory Procedural programming languages C++ Program analysis Type system Pointer C++ classes ALGOL 68 Programming language theory Software engineering Computing
97	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
98	Dependent Types for JavaScript Ravi Chugh David Herman Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2012-08-02 00:38:25 Cross-platform software Subroutines JavaScript Type system C Nim Function object JavaScript syntax Comparison of programming languages Software engineering Computing Computer programming
99	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
100	Tutorial #7A: LC Segmentation with Ratings-based Conjoint Data This tutorial shows how to use the Latent GOLD Choice program when the scale type of the dependent variable corresponds to a Rating as opposed to a Choice or Add to Reading List Source URL: statisticalinnovations.com Language: English - Date: 2006-09-05 12:43:47 Economics Science Conjoint analysis Consumer behaviour Marketing Product management Choice modelling Scale Attribute Psychometrics Statistics Market research

UPDATE